منابع مشابه
Bases for parametrized iterativity
Parametrized iterativity of an algebra means the existence of unique solutions of all finitary recursive systems of equations where recursion is allowed to use only some variables (chosen as a parameter). We show how such algebras can be introduced in an arbitrary category A by employing a base, i.e., an operation interpreting objects of A as monads on A. For every base we prove that free base ...
متن کاملSymbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras. The algebraic treatment of boundary problems brings up two new algebraic structures whose symbolic representation and computational realization is base...
متن کاملParametrized ♦ principles
We will present a collection of guessing principles which have a similar relationship to ♦ as cardinal invariants of the continuum have to CH. The purpose is to provide a means for systematically analyzing ♦ and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of CH and ♦ in models such as those of Laver, Miller, and Sacks.
متن کاملParametrized Linear
In the behavioral approach a dynamical system is essentially determined by a set of trajectories B, which is called behavior. There exist various ways for representing behaviors that are linear and shift-invariant: kernel representations, image representations and latent variable representations. In this paper we deal with families of parametrized linear shift-invariant behaviors and with the p...
متن کاملParametrized Exceptions
Following the paradigm of encapsulation of side effects via monads, the Java execution mechanism has been described by the socalled Java monad, encorporating essentially stateful computation and exceptions, which are heavily used in Java control flow. A technical problem that appears in this model is the fact that the return exception in Java is parametrized by the return value, so that method ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications in Algebra
سال: 2016
ISSN: 0092-7872,1532-4125
DOI: 10.1080/00927872.2016.1226875